Optimal. Leaf size=145 \[ \frac{(d+e x) \left (7 d^2 g^2-6 d e f g+2 e^2 f^2\right )}{15 d^3 e^3 \sqrt{d^2-e^2 x^2}}+\frac{(d+e x)^3 (d g+e f)^2}{5 d e^3 \left (d^2-e^2 x^2\right )^{5/2}}+\frac{2 (d+e x)^2 (e f-4 d g) (d g+e f)}{15 d^2 e^3 \left (d^2-e^2 x^2\right )^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.223916, antiderivative size = 145, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.097, Rules used = {1635, 789, 637} \[ \frac{(d+e x) \left (7 d^2 g^2-6 d e f g+2 e^2 f^2\right )}{15 d^3 e^3 \sqrt{d^2-e^2 x^2}}+\frac{(d+e x)^3 (d g+e f)^2}{5 d e^3 \left (d^2-e^2 x^2\right )^{5/2}}+\frac{2 (d+e x)^2 (e f-4 d g) (d g+e f)}{15 d^2 e^3 \left (d^2-e^2 x^2\right )^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1635
Rule 789
Rule 637
Rubi steps
\begin{align*} \int \frac{(d+e x)^3 (f+g x)^2}{\left (d^2-e^2 x^2\right )^{7/2}} \, dx &=\frac{(e f+d g)^2 (d+e x)^3}{5 d e^3 \left (d^2-e^2 x^2\right )^{5/2}}-\frac{\int \frac{(d+e x)^2 \left (-2 f^2+\frac{6 d f g}{e}+\frac{3 d^2 g^2}{e^2}+\frac{5 d g^2 x}{e}\right )}{\left (d^2-e^2 x^2\right )^{5/2}} \, dx}{5 d}\\ &=\frac{(e f+d g)^2 (d+e x)^3}{5 d e^3 \left (d^2-e^2 x^2\right )^{5/2}}+\frac{2 (e f-4 d g) (e f+d g) (d+e x)^2}{15 d^2 e^3 \left (d^2-e^2 x^2\right )^{3/2}}+\frac{\left (2 e^2 f^2-6 d e f g+7 d^2 g^2\right ) \int \frac{d+e x}{\left (d^2-e^2 x^2\right )^{3/2}} \, dx}{15 d^2 e^2}\\ &=\frac{(e f+d g)^2 (d+e x)^3}{5 d e^3 \left (d^2-e^2 x^2\right )^{5/2}}+\frac{2 (e f-4 d g) (e f+d g) (d+e x)^2}{15 d^2 e^3 \left (d^2-e^2 x^2\right )^{3/2}}+\frac{\left (2 e^2 f^2-6 d e f g+7 d^2 g^2\right ) (d+e x)}{15 d^3 e^3 \sqrt{d^2-e^2 x^2}}\\ \end{align*}
Mathematica [A] time = 0.419794, size = 110, normalized size = 0.76 \[ \frac{(d+e x) \left (d^2 e^2 \left (7 f^2+18 f g x+7 g^2 x^2\right )-6 d^3 e g (f+g x)+2 d^4 g^2-6 d e^3 f x (f+g x)+2 e^4 f^2 x^2\right )}{15 d^3 e^3 (d-e x)^2 \sqrt{d^2-e^2 x^2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.048, size = 131, normalized size = 0.9 \begin{align*}{\frac{ \left ( -ex+d \right ) \left ( ex+d \right ) ^{4} \left ( 7\,{d}^{2}{e}^{2}{g}^{2}{x}^{2}-6\,d{e}^{3}fg{x}^{2}+2\,{e}^{4}{f}^{2}{x}^{2}-6\,{d}^{3}e{g}^{2}x+18\,{d}^{2}{e}^{2}fgx-6\,d{e}^{3}{f}^{2}x+2\,{d}^{4}{g}^{2}-6\,{d}^{3}efg+7\,{d}^{2}{e}^{2}{f}^{2} \right ) }{15\,{d}^{3}{e}^{3}} \left ( -{x}^{2}{e}^{2}+{d}^{2} \right ) ^{-{\frac{7}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.0094, size = 787, normalized size = 5.43 \begin{align*} \frac{e g^{2} x^{4}}{{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}}} - \frac{4 \, d^{2} g^{2} x^{2}}{3 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}} e} + \frac{d f^{2} x}{5 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}}} + \frac{3 \, d^{2} f^{2}}{5 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}} e} + \frac{2 \, d^{3} f g}{5 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}} e^{2}} + \frac{8 \, d^{4} g^{2}}{15 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}} e^{3}} + \frac{4 \, f^{2} x}{15 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{3}{2}} d} + \frac{8 \, f^{2} x}{15 \, \sqrt{-e^{2} x^{2} + d^{2}} d^{3}} + \frac{{\left (2 \, e^{3} f g + 3 \, d e^{2} g^{2}\right )} x^{3}}{2 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}} e^{2}} + \frac{{\left (e^{3} f^{2} + 6 \, d e^{2} f g + 3 \, d^{2} e g^{2}\right )} x^{2}}{3 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}} e^{2}} - \frac{3 \,{\left (2 \, e^{3} f g + 3 \, d e^{2} g^{2}\right )} d^{2} x}{10 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}} e^{4}} + \frac{{\left (3 \, d e^{2} f^{2} + 6 \, d^{2} e f g + d^{3} g^{2}\right )} x}{5 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}} e^{2}} - \frac{2 \,{\left (e^{3} f^{2} + 6 \, d e^{2} f g + 3 \, d^{2} e g^{2}\right )} d^{2}}{15 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{5}{2}} e^{4}} + \frac{{\left (2 \, e^{3} f g + 3 \, d e^{2} g^{2}\right )} x}{10 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{3}{2}} e^{4}} - \frac{{\left (3 \, d e^{2} f^{2} + 6 \, d^{2} e f g + d^{3} g^{2}\right )} x}{15 \,{\left (-e^{2} x^{2} + d^{2}\right )}^{\frac{3}{2}} d^{2} e^{2}} + \frac{{\left (2 \, e^{3} f g + 3 \, d e^{2} g^{2}\right )} x}{5 \, \sqrt{-e^{2} x^{2} + d^{2}} d^{2} e^{4}} - \frac{2 \,{\left (3 \, d e^{2} f^{2} + 6 \, d^{2} e f g + d^{3} g^{2}\right )} x}{15 \, \sqrt{-e^{2} x^{2} + d^{2}} d^{4} e^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.87037, size = 562, normalized size = 3.88 \begin{align*} -\frac{7 \, d^{3} e^{2} f^{2} - 6 \, d^{4} e f g + 2 \, d^{5} g^{2} -{\left (7 \, e^{5} f^{2} - 6 \, d e^{4} f g + 2 \, d^{2} e^{3} g^{2}\right )} x^{3} + 3 \,{\left (7 \, d e^{4} f^{2} - 6 \, d^{2} e^{3} f g + 2 \, d^{3} e^{2} g^{2}\right )} x^{2} - 3 \,{\left (7 \, d^{2} e^{3} f^{2} - 6 \, d^{3} e^{2} f g + 2 \, d^{4} e g^{2}\right )} x +{\left (7 \, d^{2} e^{2} f^{2} - 6 \, d^{3} e f g + 2 \, d^{4} g^{2} +{\left (2 \, e^{4} f^{2} - 6 \, d e^{3} f g + 7 \, d^{2} e^{2} g^{2}\right )} x^{2} - 6 \,{\left (d e^{3} f^{2} - 3 \, d^{2} e^{2} f g + d^{3} e g^{2}\right )} x\right )} \sqrt{-e^{2} x^{2} + d^{2}}}{15 \,{\left (d^{3} e^{6} x^{3} - 3 \, d^{4} e^{5} x^{2} + 3 \, d^{5} e^{4} x - d^{6} e^{3}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (d + e x\right )^{3} \left (f + g x\right )^{2}}{\left (- \left (- d + e x\right ) \left (d + e x\right )\right )^{\frac{7}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.1802, size = 267, normalized size = 1.84 \begin{align*} -\frac{\sqrt{-x^{2} e^{2} + d^{2}}{\left ({\left (15 \, d f^{2} +{\left ({\left ({\left (15 \, g^{2} e + \frac{{\left (7 \, d^{3} g^{2} e^{6} - 6 \, d^{2} f g e^{7} + 2 \, d f^{2} e^{8}\right )} x e^{\left (-4\right )}}{d^{4}}\right )} x + \frac{5 \,{\left (d^{5} g^{2} e^{4} + 6 \, d^{4} f g e^{5} - d^{3} f^{2} e^{6}\right )} e^{\left (-4\right )}}{d^{4}}\right )} x - \frac{5 \,{\left (d^{6} g^{2} e^{3} - 6 \, d^{5} f g e^{4} - d^{4} f^{2} e^{5}\right )} e^{\left (-4\right )}}{d^{4}}\right )} x\right )} x + \frac{{\left (2 \, d^{8} g^{2} e - 6 \, d^{7} f g e^{2} + 7 \, d^{6} f^{2} e^{3}\right )} e^{\left (-4\right )}}{d^{4}}\right )}}{15 \,{\left (x^{2} e^{2} - d^{2}\right )}^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]